$\forall$$a$,$b$:$\mathbb{Z}$. divides($a$; $b$) $\Leftarrow\!\Rightarrow$ divides(({-}$a$); $b$)